Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
561	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
562	Best estimate calculations of saving contracts by closed formulas – Application to the ORSA - François BONNIN (Altia) - Frédéric PLANCHET (Université Lyon 1, Laboratoire SAF) - Marc JUILLARD (Winter & Associés) 20 Add to Reading List Source URL: docs.isfa.fr Language: English - Date: 2013-03-25 06:11:44 Statistical randomness Mathematics Mathematical analysis Stochastic differential equations Mathematical finance Applied mathematics Fixed income analysis OrnsteinUhlenbeck process Discretization HullWhite model Brownian model of financial markets
563	Harmonious Logic: Craig’s Interpolation Theorem and its Descendants ……… Solomon Feferman Stanford University Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-05-15 01:54:06 Lemmas Craig interpolation Mathematical logic Symbol Model theory Phi Abstraction
564	OPEN SUBJECT AREAS: COMPLEX NETWORKS Low-dimensional behavior of Kuramoto model with inertia in complex networks Add to Reading List Source URL: www.pik-potsdam.de Language: English - Date: 2015-01-26 09:10:32 Theoretical physics Physics Kuramoto model Mathematical analysis Edward Ott Phase synchronization Arnold tongue Kuramoto Chaos theory Synchronization networks Synchronization of chaos
565	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics
566	Introduction to Time Series Analysis. LectureReview: Spectral density 2. Examples 3. Spectral distribution function. 4. Autocovariance generating function and spectral density. Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2010-10-28 01:41:25 Signal processing Statistics Electrical engineering Mathematical analysis Autocorrelation Spectral density Autoregressive model
567	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator
568	Milliman Research Report Prepared by: Nigel Knowles Principal and Consulting Actuary Clement Bonnet Consulting Actuary Add to Reading List Source URL: www.milliman.com Language: English - Date: 2014-03-11 14:08:03 Economy Finance Money Mathematical finance Fixed income analysis Fixed income market Yield curve Interest rates Options Bootstrapping Scientific modelling BlackScholes model
569	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: folk.uib.no Language: English - Date: 2009-04-11 10:36:49 Logic Mathematical logic Abstraction Model theory Formal languages Logical truth Metalogic First-order logic Interpretation Substitution Well-formed formula Satisfiability
570	Sensitivity Analysis for Calibrating VISSIM in Modeling the Zurich Network Qiao Ge, ETH Zurich Monica Menendez, ETH Zurich Conference paper STRC 2012 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2012-05-16 11:59:15 Scientific modeling PTV VISSIM Traffic simulation Mathematical modeling Applied mathematics VisSim PTV AG Sensitivity analysis Calibration Mathematical model

UPDATE